Section: New Results

Safe Composition in Middleware for Internet of Things

Participants : Annie Ressouche, Daniel Gaffé, Jean-Yves Tigli.

Keywords: Synchronous Modeling, Ubiquitous Computing, middleware, internet of things

The main concern of this research axis is the dependability of a component-based adaptive middleware which dynamically adapt and recompose assemblies of web components. Such a middleware plays an important role in the generation of event recognition engines we are currently building in Stars team (see section 6.15). One of the main challenge is how to guarantee and validate some safety and integrity properties throughout the system's evolution. These two last years, we have proposed to rely on synchronous models to represent component behavior and their composition and to verify that these compositions verify some constraints during the dynamic adaptation to appearance and disappearance of components. We defined a generic way to express these constraints and we proposed the Description Constraint Language (dcl ) to express these constraints. Hence, we compile them into le programs (see 6.16) and we benefit from clem model checking facilities to ensure that they are respected [93]. This year, we improved the dcl language in order to take into account both the dynamic variation of components and also applications which use these components and we are currently testing the efficiency of our method to add and remove components. Moreover, genericity is expressed by the notion of type and we aim at extending this notion to a thinner representation of knowledge about components.